Proof of a conjecture of S. Mac Lane
نویسندگان
چکیده
منابع مشابه
Proof of a Conjecture of S. Mac Lane
Some sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that a diagram in a free SMC category generated by the set A of atoms commutes if and only if all its interpretations in K are commutative. In particular, the category of vector spaces on any field satisfies these conditions (only this case was considered in the original Mac Lane conjecture). Instead of diagr...
متن کاملPartial proof of Graham Higman's conjecture related to coset diagrams
Graham Higman has defined coset diagrams for PSL(2,ℤ). These diagrams are composed of fragments, and the fragments are further composed of two or more circuits. Q. Mushtaq has proved in 1983 that existence of a certain fragment γ of a coset diagram in a coset diagram is a polynomial f in ℤ[z]. Higman has conjectured that, the polynomials related to the fragments are monic and for a fixed degree...
متن کاملA geometrical proof of Shiota ’ s theorem on a conjecture
We give a new proof of Shiota’s theorem on Novikov’s conjecture, which states that the K.P. equation characterizes Jacobians among all indecomposable principally polarized abelian varieties. Mathematics Subject Classifications (1991): 14K25, 14H40.
متن کاملa new proof of validity of bouchet's conjecture on eulerian bidirected graphs
recently, e. m'{a}v{c}ajov'{a} and m. v{s}koviera proved that every bidirected eulerian graph which admits a nowhere zero flow, admits a nowhere zero $4$-flow. this result shows the validity of bouchet's nowhere zero conjecture for eulerian bidirected graphs. in this paper we prove the same theorem in a different terminology and with a short and simple proof. more precisely, we p...
متن کاملA proof of Pisot ’ s d th root conjecture
Let {b(n) : n ∈ N} be the sequence of coefficients in the Taylor expansion of a rational function R(X) ∈ Q(X) and suppose that b(n) is a perfect d power for all large n. A conjecture of Pisot states that one can choose a d root a(n) of b(n) such that ∑ a(n)Xn is also a rational function. Actually, this is the fundamental case of an analogous statement formulated for fields more general than Q. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1997
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(97)00034-1